1. Foundations of deductive databases and logic programming
پدیدآورنده : contributors, Krzysztof R. Apt ... ]et al.[ ; edited by Jack Minker
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Deductive data bases , Logic programming
رده :
QA
76
.
9
.
D32
F68
1988
2. From Logic Programming to Prolog
پدیدآورنده : Apt, Krzysztof.R, Krzysztof R. Apt
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Lagic Programming,، Prolog ) Computer Program Language (
رده :
QA
76/63
/A67
3. From logic programming to Prolog
پدیدآورنده : Apt, Krzysztof R.
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Logic programming,، Prolog )Computer program language(
رده :
QA
76
.
63
.
A67
1996
4. From logic programming to Prolog
پدیدآورنده : Krzysztof R. Apt
کتابخانه: کتابخانه مرکزی پردیس 1 فنی دانشگاه تهران (تهران)
موضوع : Logic programming,Prolog (Computer program language)
رده :
QA
76
.
73
.
A67
1996
5. From logic programming to Prolog
پدیدآورنده : Apt, Krzysztof R.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Logic programming , Prolog )Computer program language(
رده :
QA
76
.
63
.
A67
1997
6. Lectures in Game Theory for Computer Scientists
پدیدآورنده : / delعKrzysztof R. Apt, Erich Gr
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : METHODS&COMPUTER SCIENCE, SOFTWARE ENGINEERING|COMPUTER SCIENCE, THEORY
رده :
E-BOOK
7. Lectures in Game Theory for Computer Scientists
پدیدآورنده : / del, ErichعApt, Krzysztof R.
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : METHODS&COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, THEORY
رده :
E-BOOK
8. Lectures in game theory for computer scientists /
پدیدآورنده : edited by Krzysztof R. Apt and Erich Grädel.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science-- Mathematics.,Game theory.
9. Logic : a brief course
پدیدآورنده : Mundici, Daniele
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع : ، Mathematics,، Computer science,، Logic, Symbolic and mathematical
رده :
BC
71
.
L62
2012
10. Logic : a brief course
پدیدآورنده : Mundici, Daniele, 6491-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Mathematics,، Computer science
رده :
QA
9
.
M86L613
11. Logic programming languages :
پدیدآورنده : edited by K.R. Apt, J.W. de Bakker, and J.J.M.M. Rutten.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic programming languages.
رده :
QA76
.
63
E358
1993
12. Logics and Models of Concurrent Systems.
پدیدآورنده : Krzysztof R Apt
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع :
13. New trends in constraints : joint ERCIM/Compulog Net Workshop, Paphos, Cyprus, October 25-27, 1999 : selected papers
پدیدآورنده : Krzysztof R. Apt...]et al.[ )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Constraint programming )Computer science(
رده :
QA
76
.
L28
Vol
.
1865
14. Principles of constraint programming
پدیدآورنده : Apt, Krzysztof R.
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Constraint programming )Computer science(
رده :
QA
76
.
612
.
A68
2003
15. Principles of constraint programming
پدیدآورنده : / Krzysztof R. Apt
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Constraint programming (Computer science)
رده :
QA76
.
612
.
A68
2003
16. Programmverifikation :
پدیدآورنده : Krzysztof R. Apt, Ernst-Rüdiger Olderog.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Oprogramowanie -- weryfikacja.
رده :
QA76
.
9
.
A73
K799
1994
17. Recent advances in constraints : Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budapest, Hungary, June 30 - July 2, 2003 : selected papers
پدیدآورنده : Krzysztof R. Apt...]et al.[ )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Constraint programming )Computer science(,Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
3010
18. The Logic programming paradigm :
پدیدآورنده : K.R. Apt [and others] eds.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic programming.,Logisch programmeren.,Programmation logique.
رده :
QA76
.
63
K737
1999
19. Verification of Sequential and Concurrent Programs
پدیدآورنده : by Krzysztof R. Apt, Ernst-Rüdiger Olderog.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Logic design.
رده :
QA76
.
76
.
V47
B957
1997
20. Verification of sequential and concurrent programs
پدیدآورنده : Apt, Krzysztof R.
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Computer software-- Verification
رده :
QA
76
.
76
.
V47
.
A67
1997
